European Train Control System - PDFSEARCH.IO - Document Search Engine

European Train Control System
Results: 417

#	Item
51	Guru Gobind Singh Indraprastha University Sec-16-C, Dwarka, DelhiDate Sheet for 1"t Term B.TECH. Examination (Even Semester) Test for Re-anpear students (4:00 to 5:00 pm) Date Add to Reading List Source URL: www.aitgurgaon.org Language: English - Date: 2015-02-19 06:52:03 Electric Transportation Engineering Corporation Control engineering Engineering Education Technology European Rail Traffic Management System European Train Control System Electrical engineering
52	18th Euromicro Conference on Digital System Design Funchal, Madeira, Portugal - August 26-28, 2015 DSD 2015 Add to Reading List Source URL: paginas.fe.up.pt Language: English - Date: 2015-02-19 10:58:39 Emerging technologies EUROMICRO Synthetic biology Agilent Technologies Memristor Logic synthesis Physical design High-level synthesis European Train Control System Electronic design automation Electronic engineering Technology
53	Railway safety regulations at EU level: Achievements and challenges Towards Zero Conference Stockholm, 05 June 2013 Marcel Verslype, Executive Director Add to Reading List Source URL: www.trafikverket.se Language: English - Date: 2015-03-14 07:43:38 Safety Rail transport Second Railway Package Third railway package Safety Management Systems European Train Control System European Union Transport European Union law Rail transport in Europe
54	GIS developments for EPER and E-PRTR data Add to Reading List Source URL: www.tfeip-secretariat.org Language: English - Date: 2012-04-04 06:38:04 European Environment Agency Environment EEA European Train Control System Government Environmental data Environment Agency Public administration Environmental organizations Air dispersion modeling Copenhagen
55	Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?∗ David N. Jansen Max-Planck-Institut f¨ur Informatik Saarbr¨ucken, Germany dnjansen @ mpi-sb.mpg.de Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 10:38:36 UML diagrams Unified Modeling Language Infographics Science Software engineering State diagram Finite-state machine European Train Control System Petri net Diagrams Models of computation Statistics
56	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
57	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic
58	BROAD EXPERIENCE The GSM-R Consultants with Experience GSM-R is the worldwide standard for digital railway communications. Add to Reading List Source URL: clearcincom.com Language: English - Date: 2013-07-19 06:11:40 Electronic engineering Universal Mobile Telecommunications System Videotelephony GSM-R Software-defined radio 3GPP Long Term Evolution European Train Control System GSM frequency bands GSM Technology European Rail Traffic Management System Transport
59	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
60	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport